A Unifying Perspective on Knowledge Updates
نویسندگان
چکیده
We introduce an abstract update framework based on viewing a knowledge base as the set of sets of models of its elements and performing updates by introducing additional interpretations – exceptions – to the sets of models of elements of the original knowledge base. In [36], an instantiation of this framework for performing rule updates has been shown to semantically characterise one of the syntax-based rule update semantics. In this paper we show that the framework can also capture a wide range of both modeland formula-based belief update operators which constitute the formal underpinning of existing approaches to ontology updates. Exception-driven operators thus form a unifying perspective on both ontology and rule updates, opening new possibilities for addressing updates of hybrid knowledge bases consisting of both an ontology and a rule component.
منابع مشابه
Robust Equivalence Models for Semantic Updates of Answer-Set Programs
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, update operators are typically based on manipulating the knowledge base on the model-theoretic level. On the opposite side of the spectrum stand the semantics for updating Answer-Set Programs where most approaches need to rely on rule s...
متن کاملException-Based Knowledge Updates
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typically performed by manipulating the knowledge base on the model-theoretic level. On the opposite side of the spectrum stand the semantics for updating Answer-Set Programs that need to rely on rule syntax. Yet, a unifying...
متن کاملUnifying Causality, Diagnosis, Repairs and View-Updates in Databases
In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistencybased and abductive versions, and database updates through views. The mutual relationships among these areas of data management and knowledge representation shed light on each of them and help to share notions and results the...
متن کاملReforming the Incident Management System in the Health System: A Perspective Article
Background: A coordinated disaster response needs a well-organized structure and a locally adapted framework. In light of this, the COVID-19 pandemic offered an opportunity to renovate the response structure, which exhibited deficiencies during the pandemic. Iran shares the experience of an integrated response structure named the Reform Incidents Command System. It includes an integrated approa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012